Pinned Repositories
agda-2020-21
agda-2023-24
dotfiles
fp-lab-2021-22
fp-lab-2022-23
fp-pract1819
lcpt-1920
lec-type-extensions-23022022
servant-elm-street
polysemy
:gemini: higher-order, no-boilerplate monads
googleson78's Repositories
googleson78/lambda-calculus-proof-theory
googleson78/typeclassopedia-exercises
Reading Typeclassopedia
googleson78/bad-words-diff
googleson78/dirbg-scrape
googleson78/plfa
googleson78/thinking-with-types
googleson78/advanced-cpp
Site for the Advanced C++ course at FMI
googleson78/AdvancedDataStructures
A collection of exotic & advanced data structures in C++ and Haskell.
googleson78/agda-vim
Agda interaction in vim
googleson78/gnus
googleson78/hpack
hpack: A modern format for Haskell packages
googleson78/IPL
Implementation of Programming Languages course
googleson78/kernel-configs
googleson78/prolog99
googleson78/wenkokke.github.io
wherein I put my blogs