Showing content from https://github.com/effectfully below:
effectfully · GitHub
Skip to content Navigation Menu
Search code, repositories, users, issues, pull requests...
Saved searches Use saved searches to filter your results more quickly
Sign up You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
effectfully
Block or report effectfully
Pinned Loading
-
Code challenges to solve with Haskell
Haskell 166 35
-
A Haskell blog
Haskell 148 4
-
A tutorial on how Agda infers things
HTML 60 2
-
A library for doing generic programming in Agda
Agda 32 4
-
A dependently typed type checker for a TT with intervals
Agda 23 1
-
Observational Type Theory as an Agda library
Agda 54 2
You can’t perform that action at this time.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4