Skip to content

@Infers Infers

Change the repository type filter

All

    Repositories list

    3 repositories

    • Infers

      Public
      A type-level logic programming language embedded in F#
      F#
      •
      MIT License
      •6•31•0•1•Updated Mar 5, 2018Mar 5, 2018

    • Infers.Rep

      Public
      F#
      •
      MIT License
      •2•0•0•0•Updated Aug 26, 2016Aug 26, 2016

    • Infers.Toys

      Public
      F#
      •
      MIT License
      •2•1•0•0•Updated Aug 26, 2016Aug 26, 2016