Călin Ardelean clnx

  • Joined on
clnx starred HoTT/book
@clnx
clnx pushed to master at clnx/muesli
@clnx
  • @clnx ea09b01
    use Text instead of String
clnx pushed to master at clnx/muesli
@clnx
@clnx
  • @clnx ee82ac7
    updated module descriptions
@clnx
  • @clnx 9e473ef
    more generic record set printing in console
clnx pushed to master at clnx/muesli
@clnx
clnx pushed to master at clnx/muesli
@clnx
@clnx
clnx created tag v0.1.1 at clnx/muesli
clnx created tag v0.1.0.1 at clnx/muesli
clnx created tag v0.1 at clnx/muesli
clnx pushed to master at clnx/muesli
@clnx
clnx pushed to master at clnx/muesli
@clnx
  • @clnx 304f6bf
    added `filter'` and `filterRange'`
clnx pushed to master at clnx/muesli
@clnx
@clnx
@clnx
clnx pushed to master at clnx/muesli
@clnx
  • @clnx b2519c8
    refactoring of primitive queries' interface
@clnx
@clnx