GitHub repository: phadej/debruijn
Primary language: Haskell
Created: 2023-02-27T20:27:03Z
Description: de Bruijn indices and levels for well-scoped terms