git.iko.soy
/
generic-lens
readme
files
commits
refs
on
type-errors
help
sign in
generic-lens
/
src
/
Data
/
Generics
/
Sum
1 folder, 4 files
../
Internal/
Small cleanups in prism code
8 years ago
Any.hs
Drop (now redundant) meta elements from List and rename to HList
8 years ago
Constructors.hs
Better type errors for `_Ctor` and `_Typed` prisms
8 years ago
Subtype.hs
Drop (now redundant) meta elements from List and rename to HList
8 years ago
Typed.hs
Better type errors for `_Ctor` and `_Typed` prisms
8 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list