Typing SVG

data Developer

import University.Ferrara
import ACLAI.Lab (sole, symbolicLearning)
import qualified Logic.Symbolic as AI
data Developer = Developer
 { name :: String
 , origin :: String
 , uptime :: Years
 , focus :: [Topic]
 , hobby :: [Passion]
 } deriving (Show, Eq)
me :: Developer
me = Developer
 { name = "Marco Perrotta"
 , origin = "Italy"
 , uptime = 21
 , focus = ["Symbolic AI", "Machine Learning", "Logic for CS"]
 , hobby = ["Playing with different OS", "Formal logic", "ML research"]
 }

type Language = Favourite

type Favourite = [Language]
myLanguages :: Favourite
myLanguages = ["Gleam", "C", "Julia", "Haskell"]
 -- naturally a conjunction of passions: ∧ ∧ ∧
toolchain :: [Tool]
toolchain =
 -- languages
 [ "Gleam", "C", "Julia", "Haskell"
 , "Python", "Go", "Java", "Bash", "PHP"
 , "Prolog", "MIPS ASM", "R", "MATLAB", "Fortran"
 , "LaTeX", "HTML", "CSS", "SQL", "Arduino"
 -- frameworks & libraries
 , "Laravel", "scikit-learn", "Angular"
 -- editors & environments
 , "VSCode", "Notepad++", "tmux"
 -- tools & platforms
 , "Git", "WSL", "PuTTY", "TeamViewer", "JAndroid"
 ]

sole :: IO Research

sole :: IO Research
sole = do
 lab <- joinLab "ACLAI"
 -- Applied Computational Logic and Artificial Intelligence
 -- Dept. of Mathematics and Computer Science, University of Ferrara
 framework <- develop "SOLE"
 -- SymbOlic LEarning framework
 return $ framework <> lab

reach :: Channel -> Maybe Marco

reach :: Channel -> Maybe Marco
reach Email = Just "perrottamarco2011@gmail.com"
reach LinkedIn = Just "linkedin.com/in/marco-perrotta-b159b6244"
reach Reddit = Just "DarkAltruistic9560"
reach GitHub = Just "Perro2110"
reach _ = Nothing

ghStats :: IO ()