Miracula

Miracula

An implementation of a subset of Miranda by Stefan Kahrs <smk@ed.ac.uk>, LFCS, no modules or files. Can be interactively switched between eager and lazy evaluation. Portable source in C from the author.
Mentioned in ?
References in periodicals archive ?
For example, William of Saint-Amour in his 1256 treatise against the Mendicants: "Pseudo autem Praedicatores sunt omnes, qui praedicant non missi, quantumcumque literati et sancti sint, etia si facerent signa, vel miracula.
For an introduction to the Vita Sancti Erkenwaldi and The Miracula Sancti Erkenwald, see the most recent edition by E.
Miracula vero quae Deus per eumdem sanctum fecerat, propter eorum multitudinem, ne modum literarum, si.
Additional sources for later chapters include Columbanus' own letters, a seventh-century Vita of Columbanus and a late tenth-century text Miracula Sancti Calumbani.
9, ad 10: "Spei non proprie attribuitur miracula facere; spes enim ordinatur ad aliquid consequendum, unde est solum de aeternis.
27) "In haec Mosis doctrina tractanda & explicanda, non est sine causa recurrendum ad miracula, & ad potentiam Dei absolutam.
Contreni, "'And Even Today': Carolingian Monasticism and the Miracula sancti Germani of Heiric of Auxerre"; Steven A.
Krusch, Bruno, Gregorii episcopi Turonensis miracula et opera minora, tome I, pars II, Scriptorum rerum Merovingicarum, of, MGH (1885).
18: 'Ista igitur pauca de multis miracula virorum fidelium narratione cognovimus, cognitaque ad utilitatem et diligentiam posteriorum quibuslibet incultis et incompositis orationibus annotavimus.
Thus the ship list of William the Conqueror is appended to Essay VI, and the brief Inuentio et Miracula sancti vulfranni to Essay IV.