general-relativity cosmology universe curvature topology asked Jul 8, 2014 at 15:00

lo.logic pl.programming-languages functional-programming formal-methods haskell asked Sep 19, 2014 at 12:25

haskell category-theory asked Jul 21, 2014 at 2:33

haskell agda dependent-type idris asked Aug 21, 2014 at 2:15

haskell programming-languages formal-languages asked Nov 17, 2014 at 0:53

cognitive-psychology personality cognitive-modeling jung asked Jan 9, 2016 at 18:34

haskell ghc arrows category-abstractions asked Jun 16, 2019 at 16:20

logic soft-question intuition proof-theory linear-logic asked Jun 21, 2016 at 2:29

lo.logic type-theory oracles halting-problem asked Apr 12, 2016 at 0:50

haskell pointfree asked Oct 22, 2014 at 19:02