Commit 4490579d authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Thu Apr 18 23:25:14 CEST 2019)

parent 99be8ad7
......@@ -178,7 +178,7 @@ data COCState str = COCState {
}
endState :: Lens' (COCState str) Bool
endState = lens _endState (\x y -> x { _endState = y })
context :: Lens' (COCState str) [(str,Term str (COCAxiom str))]
context :: Lens' (COCState str) (Env str (ContextTerm str (COCAxiom str)))
context = lens _context (\x y -> x { _context = y })
showDir :: Lens' (COCState str) (NodeDir str (COCAxiom str) ([str],StringPattern str))
showDir = lens _showDir (\x y -> x { _showDir = y })
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment