laMudri/lin-env
Experiments in linear natural deduction
Repositories
laMudri/lamudri.github.io
laMudri/cangjie_compiler
laMudri/egads
an E-category library for Agda
laMudri/generic-lr
AACMM's generic-syntax, but with QTT-style annotations
laMudri/thesis
laMudri/Kunen-set-theory
laMudri/quantitative
laMudri/ataca
A TACtic library for Agda
laMudri/agda-practice
laMudri/onajiyou
use kanji to find kanji
laMudri/cst2-project
laMudri/bridge-go
An implementation of Go variant Bridge Go. See http://senseis.xmp.net/?BridgeGo .
laMudri/integers-as-HITs
laMudri/dotfiles
laMudri/agda-categories
A new Categories library for Agda
laMudri/bool-in-hand
Talk about `Dec` for SPLS 2019 Oct (Glasgow)
laMudri/agda
Agda is a dependently typed programming language / interactive theorem prover.
laMudri/doom.d
~/.doom.d
laMudri/ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
laMudri/linear.agda
A library and case-study for linear, intrinsically-typed interpreters in Agda
laMudri/doom-emacs
An Emacs configuration for the stubborn martian vimmer
laMudri/thinning
a new year's resolution
laMudri/nixpkgs
Nix Packages collection
laMudri/plfa.github.io
Introduction to programming language theory in Agda
laMudri/agoda
a library for proving things about go/wéiqí/baduk
laMudri/agda-stdlib
The Agda standard library
laMudri/nix-config
laMudri/imperative-bci
laMudri/dotenv-hs
Load environment variables from dotenv files for Haskell